/home/atrevis/packages/polymake-r2/polymake-2.9.8/debian/polymake/usr/lib/polymake/perlx/5.10.0/i486-linux-gnu-thread-multi/auto/Polymake/Ext/Ext.bs
/home/atrevis/packages/polymake-r2/polymake-2.9.8/debian/polymake/usr/lib/polymake/perlx/5.10.0/i486-linux-gnu-thread-multi/auto/Polymake/Ext/Ext.so
